Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
101	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-22 08:28:16 Information technology Computing Information Business intelligence Data management Formal sciences Information technology management Data mining Big data Data analysis Bioinformatics Analytics
102	An International Journal of the Polish Statistical Association Add to Reading List Source URL: pts.stat.gov.pl Language: English Statistics Estimation theory Statistical theory Econometrics Statistical inference Formal sciences Linear regression M-estimator Estimator Regression analysis Bias of an estimator Efficiency
103	Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry Add to Reading List Source URL: raim2012.u-bourgogne.fr Language: English - Date: 2012-07-16 09:24:56 Mathematical analysis Mathematics Numerical analysis Algebra Polynomial Taylor series Interval arithmetic
104	arXiv:1503.05570v1 [stat.OT] 18 MarA Data Science Course for Undergraduates: Thinking with Data Ben Baumer, Smith College March 20, 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-03-19 20:23:43 Software Computing Application software Formal sciences Data Visualization Free statistical software Data mining Data analysis Data visualization Statistics education Statistics
105	Stanford University Scientific Review Protocol for Human Subjects ResearchNOTResearch Compliance Office (for projects not otherwise undergoing Scientific Review) Template language for use by IRB Ma Add to Reading List Source URL: humansubjects.stanford.edu Language: English - Date: 2016-04-12 01:21:50 Design of experiments Scientific method Experiments Formal sciences Data Statistics Research Hypothesis Data analysis Statistical hypothesis testing Clinical trial
106	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information Nurlida Basir1 , Ewen Denney2 , and Bernd Fischer1 1 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Formal methods Static program analysis Theoretical computer science Safety Computer security Safety case KeY Hoare logic Formal verification Proof-carrying code Hazard analysis Loop invariant
107	Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store Frithjof Dau, SAP Research Abstract.The EU-funded research project CUBIST investigates how Formal Concept Analysis can be applied as a Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:18:03 Semantic Web Resource Description Framework Knowledge representation Web services RDF Schema SPARQL Triplestore Web Ontology Language Ontology Formal concept analysis Web resource
108	RapidMiner Basics Part 1 RapidMiner Basics Part 1 Course Overview RapidMiner Basics Part 1 is a two day course focusing on data mining and predictive analytics with RapidMiner Add to Reading List Source URL: 1xltkxylmzx3z8gd647akcdvov-wpengine.netdna-ssl.com Language: English - Date: 2016-07-08 15:11:45 Formal sciences Image processing Neurobiology RapidMiner Business intelligence Data mining Predictive analytics Data science Analytics Cross Industry Standard Process for Data Mining Data analysis
109	The OnApproach Decision Maker Volume 1, Issue 2 May 2015 Wondering what all the buzz around Big Data and Analytics is Add to Reading List Source URL: www.onapproach.com Language: English - Date: 2015-06-25 14:42:03 Data management Business intelligence Formal sciences Analytics Big data Mathematical finance Data mart Data analysis
110	Rich Data: Risks, Issues, Controversies & Hype Osmar R. Zaïane Department of Computing Science University of Alberta, Canada Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-10-12 18:55:04 Data management Big data Formal sciences Business intelligence Information technology management Data mining Analytics Data analysis Data science Database Data Data lineage

UPDATE